Formal Clarifications