Renamed the Ramsey module.