Fumble with new Join axiom; add Join_beta