kepler-formal