If it is grounded on a logical derivation, where can one find such a derivation, and inspect its premises?