notes and printing for debugging