Two more cases (fn and !) for inference soundess