New: pl-lean