leave property tests all passing
Merge pull request #4 from Rolilink/leave_property_specs

leave property tests all passing