wrote out clearer and shorter derivation for AIC