— What time should we set the alarm for? — 12 — too early, 14 — too late. Let's make it 13:00! — No, anything but 13! It's a bad number! Bad number! — I'll set it for 13:07 — that'll balance it out!