made theory 3 and 4, only 5 is missing