lax method properly implemented