alternativity
not defined yet