Completed lexf