Checkable constructors