We should define how spanning works

AC
D
B