Dispositional implementation solves the superfluous structure problem