Reason Using Properties from Algebra