adding implication

I have generally shunned implication, in the interest of keeping the clearer
connectives "and" and "or" in the spotlight despite the technical simplicity
that basic things on implication can provides,
but it makes the frame properties so clear to express that I can't reasonably
go without it at this point, and it would be a distraction to introduce it
in the middle of the frames section.