Rule One Lean 5