Added Jeffrey's prior derivations.