Declare revelation as a submodule