KCAE.USE:12 - Relations
F.1 supplies question-relative source selection; C.11.DUA supplies practical burden comparison. KCAE.SOURCE realizes the chosen source boundary. KCAE.EVAL turns the design questions into evidence. All other KCAE methods can return a failed premise here without invalidating unrelated uses.