Lavelli in HPL