leofinal no array (more practical, less beautiful?