Dispositional implementation solves the superfluous structure problem · Study