Yes, I understand why this is expected behavior not a bug ... but what a missed opportunity to show how Logos allows one to verify unsubstantiated assertions.
