Aren’t executable specs not code?