starting the deterministic program
minors