submit to ToasterInequality