🧪 Language of fictitious constructive operations === a constructional system language used to test the valididty of the constructional system==