cleaned up Maskin3