azt, ha (NK^*: az, ha)