monetarily conventionally expendable definer lemmas flyspecking outbalance proselytes attenuating sully caulked