added signs. working on cardinality
resolved merge