[Dylan16807]

Except the researchers are not asking about the inverse of arbitrary logic statements.