min(1 * 1)
