add plan for next three days. Q: does equivalent inputs really imply equivalent outputs for wrapped SHA/SHA? does the id framework really work? can i establish computational <-> inductive?