typeSystem work mostly