Kraven kan formuleras i följande fyra punkter .