small justifications in domain and range