#REDIRECT doc:reasoning_using_computables