edited 12 vs 13 [4].tex