This might be clearer with `-then:` plus `return:x`.