Hvad som må vara formelt rättär