Hard Logic