A testable version