Fixed AND and OR implementations