Penguin

Describe x <- t, x `mod` h /= 0? here.