key points had wrong info on ':' binary operator