still on lem and double negation