Reasoning with Robert - September 2020

The negative double: values needed