OK, nevermind then! I don't actually understand what's going on here, though.