Experiment Bespeak

Verifies Towards