Possible Answers For: Lean-___ (simple structures)