True && x && (True && y)