formal logicked

adj.

Drunk by closing time, and applying mathematical reasoning to the question of who should call the taxi.

Majken got formal logicked and demonstrated that the nearest taxi was also necessarily the correct one.