Updated concrete syntax