Lax dependencies