Elims-7-Formula2