Working on well definedness of j.