Delete `dummy`, because our business logic is nontrivial already.