New: hypotheticalvstruth