Implement ProhibitDoubleSigils