Included fact in module