Module contracts