Tom very nice explanation, except for one little thing - what you call "saturated" isn't!! For BJTs saturation is when the base current is higher than needed and Vce drops to a low value (Vsat in fact). I think you confuse with FETs where "saturation" means something else.