... logic-inspired musings and observations formed along the way ...