Finished "j is well defined".