[asse-support] LEAN.pdf