A few lines shorter...