Using a controller to show a proposition