Some undone Gernetic Alg and lib of IronScheme