Box Types mutual exclusion implemented (almost)