just need to finish the elim rule for KG1 :)
done with KG1 :)