better printing
better printing; simpler membership test
initial version