also I'm sure @jakevdp wouldn't have written that even if it were allowed :)