Condensing logic