Verified system with Sleek9