REQUIRES specification