Den logiska slutföljden följer sålätt