Add some design notes