(NOT (NOT (NOT (NOT A))))