...
The conditional logic here is really bugging me. It seems, with the ... law") implies a bi-conditional? That is the only way ... conditional, it's not perfectly clear to me why (especially with ... clearly been intending a bi-conditional relationship, though it still ...