domain and range labels take Option