C'mon Ken, get with the program. When Borel typed "implies", he really meant 'strongly implies'. If you can't tell figure that out, ask ERabbit.