Make debian happier
It seems we were missing a function application.

Question is, why was this input accepted? Should have had some
wrong-number-of-arguments error or whatever.
Remove older met-goodness constraints

Incoming quantifiers.