pals satisfy

.