The RMCE cassette of the TI{CRIMIC.TG4.0}Cdk5αCR60413-TG4.0 insertion has been replaced with a TI{FFL.0} cassette that is in protein-trap (PT) orientation relative to Cdk5α. This results in the Cdk5α protein being tagged with EGFP.