Permissible should be inside Guachiman module