logical progression