Made use of support/assert