simplified and_or