Weak systems of Gandy, Jensen and Devlin