non-formula