valid_as
if (!tas && valid_as(sas))
if (valid_as(tas) && valid_as(sas) && tas != sas)
if (valid_as(tas) && !sas &&