We hold these monadic truths to be self-evident.