Showing off default negation and "formal" notation