for this reason F d is usually a bounded raising perform. It should represent the "leaping component" of F, and whether it is subtracted out from file, the rest needs to be beneficial, consist of no more jumps, and so be continual. These plausible statements will now be proved - They can be simple sufficient but probably not trivIal. dim Elf Dice