Dev. checkpoint: Syntax