Title: Logic, theoretical and applied,