Thinking Through Making or the Art of Verification | Synapse