More succinct logic