Title: A manual of contract learning