By golly you are right! They just need a complex count of users and negative complex profit and the result is positive!