Formal Technical Report Example - Search