if | t-V£ä , X- ] p,