Handle argument bounds + remove differentiable requirement.