🧪 Language of fictitious constructive operations §

= a constructional system language used to test the valididty of the constructional system