What Does Contract Logic Mean