triples are generated (but inputs are not in yet)