brute facts and first principles