2020-07-26 UTC
# 
Tekk_ Is there any particular historical reason the spec needed to define implied properties with a whole bunch of implication rules instead of doing the (at least feels right to me) other possibility of just saying "you need to have these things to be valid"?