adding stuff about semi joins