Actually both also can assert a symptom =( --> If true assert symptom, if qn is true oso can assert symptom (optional field)