Preliminary (INFORMAL: Informatics Journal, 2018)