s-implynatural:

.