factored out presumption implementations, will re-implement as registerable abstract defaults