Title: A challenge to logicians