[beingforthebene]

There is a typo in part 2 of your definition of Join. `P` is supposed to be >= `A` and `B`. There are also numerous grammatical and spelling errors