Note about implementing Void