Finished on JMM internals