premises filter DONE
conclusion input
PEP8