@userbinator thanks for clarification! this is indeed useful and helps understand contradictions.