non-explicit games