"22-simplex"@cs .