Logic fragments

La serenissima (Extended)