Och hvad de formellaförutsättningarna