Title: A programming notation for tactical reasoning