ALFA: Boolean operations