lexicograph tests passing