added transform function, started soundness overview