solutions - The Logic Manual