F.ormal L.ogic D.ecay