tests for lean