contract-compiliance works!