"a "="A" "A "="a" "a " <= "A b" 1 1 1