Added FM-friendly company: Formal Mind.