@ChrisAldrich Indeed, except that, formally, 1, 3 ... December 30, 2018 Jeremy Cherfas @ChrisAldrich Indeed, except that, formally, 1, 3 and 5 are identical.