FYI, I'm seeing this too. I'm trying to look into it, but it's not obvious (to me) what is going on...
-- John Murph Automated Logic Research Team
FYI, I'm seeing this too. I'm trying to look into it, but it's not obvious (to me) what is going on...
-- John Murph Automated Logic Research Team