botched type checker INC