protopattern

not defined yet