got rid of the final remaining admits

now that we have agreed on the constants for fold