check in my design notes and DTDs