prop> a <= 
prop>