ADD: printing implementations correctly (but ugly)