stipulative definitions