clausula if