\contitem\title{From Abstract Higher-Order GSOS to Abstract Big-Step Semantics, Abstractly (Early Idea)}\author{Sergey Goncharov, Pouya Partow, and Stelios Tsampas}\page{:1--:3}