One point rule
Shunting rule
Join definition