s-impleness:

x

(via rehold)