\leadsto \Box \Join \lhd \Diamond