some more thinkifying