Parts Of A Formal Definition