Wiki Discussion: Properties of modules and predicates

[Wiki]

This is a topic to discuss the Wiki

Properties of modules and predicates