Inverse assumption