proved cancelling properties
finalised pregroup implementation