Add new definitions for Shervin's check