some minor emendations
added complementation rules so-far