History: logical language

Source of version: 1 (current)