shorter notation
solved lexf problem