added symbolic language todo