more MLens notes