Self-testing/correcting with applications to numerical problems | Synapse