not negating typing clauses when creating test formulas now