assume fn