On CRISPR-controlled Proteases