Hume's principle (source code)

= Hume's principle
{wiki=Hume's_principle}