Added our names to the formal model