Is Mark's BMI higher than John's?