## If there was a unicorn in the world, life would be more beautiful

Meta-theorem 22:
The morphology of our world implies that if there is a unicorn, life would be more beautiful, iff the union of our morphology and the statement ‘there is a unicorn’ also implies that ‘life would be more beautiful’.

Proof:

1. Assume ? ? ‘there is a unicorn’ ? ‘life is more beautiful’.
2. Then we know that every valuation that simultaneously satisfies ?, also satisfies ‘there is a unicorn’ ? ‘life is more beautiful’.
3. For every valuation which simultaneously satisfies ?, it must be the case that V(‘there is a unicorn’)=F or V(‘life is more beautiful’)=T.
4. Assume ? ? {‘there is a unicorn’} ? ‘life is more beautiful’
5. Then there must be a V such that ? ? {‘there is a unicorn’} is simultaneously satisfied, but V'(‘life is more beautiful’)=F and V'(‘there is a unicorn’)=T.
6. However, this is a contradiction to line 3, hence:
7. ? ? {‘there is a unicorn’} ? ‘life is more beautiful’
8.

9. Now assume ? ? {‘there is a unicorn’} ? ‘life is more beautiful’.
10. Then we know that every valuation which simultaneously satisfies ? ? {‘there is a unicorn’}, also satisfies ‘life is more beautiful’.
11. It must be the case that V(‘life is more beautiful’)=T or ? ? {‘there is a unicorn’} is not simultaneously satisfiable, such that V(‘there is a unicorn’)=F.
12. Assume that ? ? ‘there is a unicorn’ ? ‘life is more beautiful’.
13. Then there is a valuation V’ that simultaneously satisfies Î“, such that V'(‘there is a unicorn’ ? ‘life is more beautiful’)=F.
14. Then it must be the case that V'(‘there is a unicorn’)=T or V'(‘life is more beautiful’)=F.
15. However, this is a contradiction to line 10, hence:
16. ? ? ‘there is a unicorn’ ? ‘life is more beautiful’