take {} ; :: thesis: {} is Function-like
thus {} is Function-like ; :: thesis: verum