pull up assumption check ; doesn't explain why it is failing though