edited 12 vs 13 [3].tex