formal equivalent