full satisfy

.