User blog comment:Shayanomer/Pages Currently Needed/@comment-4436775-20151008142132/@comment-3522837-20151008185811

I can do X, but we don't have any official names for the operations that take place, which is why a conjecture template will be added to all of them.