@ChrisAldrich Indeed, except that, formally, 1, 3 and 5 are identical.