ogical underpinning