I think for most questions that are not very straight forward, IFQ would be a valid answer with only very little argumentation. That's why formal languages are needed.