requires and requires