Logic Manual