Resolving termination