Formalizing common sense: an operator-based approach to the Tibbles-Tib problem