baby step: explicit expansion in preparation of and and or