On 02/02/17 02:05, MRAB wrote: > Both suggestions are a little long-winded. Couldn't we just abbreviate > them to "else:"? :-) You are not wrong ;) E.