<@U0SRVKLTC> of course exp(log(4) - log(7) - log(x...
# random
h
@dean of course exp(log(4) - log(7) - log(x)) is better!!!