proofs

• Fla
• Xanadu
• goodnight
• Chan
• Farragut