Reality should be correct