User talk:Formal methods guy