category s2 Technical Report, author - Ian Thomas signed VUIR pt.20/7/12. MA 2/11/12.