From this moment forward, Oscar Arias has been declared officially elected as president of Costa Rica.