introduced data alignment guarantee using assumption intrinsic