Save negation introduction step
Remove negation introduction
Refactor features