Nakov added something in Tanys's file
Added two tests