auto-satisfaction (142.707)