tipe for satisfy