fn negation_simple_chain() -> any