Comment on Logical improvements