Extension:RandomInclude