Prove that %m %a . { c:%a, b:%a -> %a } \not<= %m %a . { b : %a -> %a } . Prove that %m %a . { c : %a, b: %t -> %a } <= %t , for %t = %m %a.{ b: %a -> %a }.