Notes on constructive negation