Further implementation of variables + refinement + print statements