draft of exact computation