including a few additional examples and explanations, but without any proofs. And a