Presenilin-dependent γ-secretase activity modulates thymocyte development | Synapse