Replaced notf with complement ssyntax.