highlight the question on how to formalize