use ==> instead of => for implication to avoid confusion with >=