Some requirements done, not quite sure how to make sure runtime ones are correct