x * y = z / \iota