Obama would have congratulated them.