Happy case implementation