A formal evaluation of Mary