complete the port of the (trivial) log systemt