proves modules