The four highlighted requirements are the ones that are not always satisfied due to the design flaw which forms the basis for The Electronic Money Mill.