Submissions by JJLG tagged warm-ups