Technical Report, revision 5