== LeCoOnt Requirements specification == [ConceptLocks]