well formed test done