implement true
add true in overview
adjust for true
implement false
adjust for true
add false in overview
Merge branch 'false'

Conflicts:
	Makefile
implement seq
add necessary messages
adjust for seq
add seq in overview
Merge branch 'dev-seq'

Conflicts:
	Makefile
	README
	bin/.gitignore