Good progress - got the And renderer working for single complex lhs and rhs, but tricky now dealing with double complex lhs and rhs.