Stipulative definitions