B\equiv C