Relating Understanding Of Inverse And Identity To Engagement In Proof In Abstract Algebra