I forgot where I was going with this.
Trying to figure out what the problems are with defining semi-simplicial types.