On Wednesday, 21 October 2015 at 20:06:41 UTC, Andrei Alexandrescu wrote: > "More Catholic than the Pope" = overdoing something all too > pedantically. What I mean is: let's get things started and if > there's any need for isXxx we'll add them. -- Andrei +1