Concise Systems