Implementation: states vs. nodes