y | a& b mnldre.