Added images of truthtable to restriction