(r)a prioriderived by logic, without observed facts