 where the range of the final quantifier is restricted to those \(x\) for which it does make sense. Behmann did not develop a systematic theory until much later and it is unclear how to interpret his special operator \(!\). Nevertheless, his work has inspired work by Aczel and Feferman (1980).