make assumedTrue more generic ie. assumedPred