a little PAX East formalization"