Problem of mathematical logic

I am happy to have been of service to you. :slight_smile: