When does ℵ1-categoricity imply ω-stability ? | Synapse