How detailed are the specs? Is it basically pseudo code? Can you please give an example of a spec point?