Simplified show()
Improved return of check().