all-states-are-abstractions tumblr