Penguin

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