Corollary Computing