Exactly. Contracts are over shapes, types, behaviors, error-handling, the whole kit and kaboodle. Not just matching a call signature.