Both barriers operate at a meta-level about proof structure itself, not specific techniques, suggest...
This proposition has not been edited since the history system was added.