implicit theories