Title: Making it Formally Explicit