Formal Definition In Concept Paper