ok i didnt realise we were still giving him the ATC range. In a real game i dont think he is going to call our 4bet with 2 cards though so calling here is probably a mistake.