started with type checks