Title: From abstract variable to concrete representation