1. A lion can stand alright, e.g. while hunting or fighting, like the house cat does! The short legs are of a lion, not of a human. 2. Clairvoyance is the term of interest here. 3. Hypothetical Tense Grammar: What *would have been* Q *had* we set the price at P=p1? 4. P:=p1 (assignment operator comprising two symbols ':' '=') is good enough, no need for a Do() operator.
