wiki/structural/abstraction-as-power.md history