edited 12 vs 13 [1].tex