Does anyone know if Ron Paul will even be entered into nomination?