completed pre-definition of cycle modules