A formula can be invalid in a given system yet true in all genuine metaphysical possibilities if tha...