combinational
not defined yet