Snapshot of minus algebra. Certainly need to be worked on further.