Take out fictitious syntax