logic and language creation