else branch does not need progn