Please check if these have the same meaning. Answer "yes" if they do, otherwise "no".
Mike Harthcock ( also known as Mike Hart ) is an American poker poker player from Winter Haven , Florida .
Mike Hart ( also known as Mike Harthcock ) is an American poker poker player from Winter Haven , Florida .
yes