#barnabywalterskylewm: KartikPrabhu: in reply to your earlier question about differentiating implied from explicit properties, I agree that it might be beneficial to make the implied rules stricter to avoid this situation, but it is a little contrived