argument list instead of domain/range, and more