lt a b | ab | 0 0 | 0 0 1 | 0 1 0 | 1 1 1 | 0