counterexamples
counterexamples copied to clipboard
fix typo in strict-positivity