initial commit
complete equalities module
complete lists