Stipulative_definition loading ...