Scritto Ralt \in FO(LFP)