semantic validity