Satisfy

in various languages: