Thinking of paying

by Lean VI