pressurised(p3) <- on(t1) & pressurised(p1). wet(sink) <- on(t3) & pressurised(p3). flow(d3) <- wet(sink) & unplugged(sink). flow(d1) <- flow(d3).