A|\neg A