this doesn't handle the case where there are multiple mixins, but we can fix that later.