Doesn't it fall in the domain of logic? And if so, how does
logic de[s|c]ide the question , i.e., by what sort of prop.?