satisfyer (4)