a right-associative alias for denote