antages i författningen ,att