Fix formal definition of unjoins - may be global. Fixes #77