Comments for the introduced logic.