correct liveness for this. Added a print