working semantic model!  At least for full adder anyway