increased = on checks strong type checks