Text this: High-level verification :