Ef Levino Lautert presentations