lean_observe