Use [apply path_forall], not [apply funext]