basic VDF works