8/8 < First << 678