Is Hereafter Logical?