Add three proposal configurations
Replace exit() by simple return statements