Yes! The "pass through itself" criteria is the same as "has one shadow that fits entirely inside another shadow". If you allow "one shadow equals another shado

Yes! The "pass through itself" criteria is the same as "has one shadow that fits entirely inside another shadow". If you allow "one shadow equals another shadow" then it's trivially true for every shape because a shadow equals itself. Note that this "shadow" language assumes a point light source at infinity, i.e. all the rays are parallel.