Add another test
Add some algebraic prop without tests