A box has some red and some green balls in it. There are no balls of any other color. Some of these balls are heavy and the rest are all light. What is the probability that a heavy red ball is picked out of the box?