Logiikan parantamista, kohta valmista