Title: Implicit contracts