Building Quantified FDE STAR Stories