working on some proofs and updates.
working on more porting.