theoretical

• brad
• flyspeck
• xcvi
• song
• dragnet