Put in blackboxing and pretty print