The modules in this section are unfinished and their implementation will be announced at a later time.