Higher combinatorics proc. 1976 door