add [simpl unique pose proof]