With Ada you can use and then instead of and and or else instead of or.
In Ada, with the following example, b is only evaluated when necessary (ie if a is true) when you use the lazy evaluation operators'.
if a
    and then b
then
    expr;
end if;
Is there a Python equivalent of this?
