inherit.sat