PATMOS: a hymn