documentation
oasis setup
bugfix to negation and correctness argument