Movin’ on up: higher-level requirements and inferential justification · Study