F.ormal L.ogic D.ecay — dig