Exception contracts
Do not allow contract changing
Temporarily require 5.12