remainder

• sillies
• uninterpreted
• Quaternary
• Beasley
• microprocessors