Designing Correct Circuits | lit.salon