Experimenting with contract. Broken.