Countermodel Radio

You tune a list of axioms. The station scans small structures until it finds a model, or the closest thing it can.