Logical mona