Wiki Discussion: Properties of modules and predicates

This is a topic to discuss the Wiki

Properties of modules and predicates