Basic Method contracts, to be checked.