Added Contracts for the new extension methods