../../Task/Short-circuit-evaluation/Sather