CS-1: Added abstract boolean explicitly on model