half(1 * 1)
