ladybirds

• reasoners
• tramways
• mads
• FBI
• discreteness