Definition:Functional Completeness